$\forall$$R$:Realizer. R{-}links($R$) $\in$ (IdLnk List)